home *** CD-ROM | disk | FTP | other *** search

---

/ ftp.ee.pdx.edu / 2014.02.ftp.ee.pdx.edu.tar / ftp.ee.pdx.edu / pub / users / harry / TheoryOfComp / slides / chapter5 / slide 8.jpeg

< prev

next >

Joint Photographic Experts Group Image  |  2012-11-17  |  231KB  |  850x1100  |  16-bit (46,974 colors)

Labels: bulletin board | crt screen | monitor | paper | plant | reckoner | sky
OCR: GOAL CONSTRUCT S,A DELIDER FOR ATM Algorthm DECIDE HALTTM Algorith DELIDE ATM HERE ALGORITHM INPUT: M Run m See ha H4s Loops rejecs, me ans loops N3H REJECT m eans M ha Hs. (And never (oop) imu afe Run M iapuf W M ACCEPT HIH Then REJECT 50 15 ELIDER or WI CONTRADICTION : ATM UNDECIDABLE AlgorHhm 301234 HALT halts rejects N3H1 aceepts late When cepts CONTRADICTIDN

---